Maschinengestütztes Beweisen (oder missverständlicher: Automatisches Beweisen; ein Teilgebiet der automatischen Deduktion) basiert auf der Verwendung von Computerprogrammen zur Erzeugung und Überprüfung von mathematischen Beweisen von logischen Theoremen. Im Unterschied zu Computerbeweisen wird versucht, den gesamten formalen Beweis bestehend ...
Gefunden auf
https://de.wikipedia.org/wiki/Maschinengestütztes_Beweisen
maschinengestütztes Beweisen, das Führen von mathematischen Beweisen unter Zuhilfenahme von Computerprogrammen. Gelegentlich wird hierfür auch der Begriff Computerbeweis verwendet, der jedoch zumindest bei Laien falsche Vorstellungen weckt, in welchem Verhältnis hierbei kreative mathematische Leistu...
Gefunden auf
https://www.enzyklo.de/Lokal/42134
Keine exakte Übereinkunft gefunden.
